Zermelo Theorem and Axiom of Choice
نویسنده
چکیده
The article is continuation of [2] and [1], and the goal of it is show that Zermelo theorem (every set has a relation which well orders it proposition (26)) and axiom of choice (for every non-empty family of non-empty and separate sets there is set which has exactly one common element with arbitrary family member proposition (27)) are true. It is result of the Tarski’s axiom A introduced in [5] and repeated in [6]. Inclusion as a settheoretical binary relation is introduced, the correspondence of well ordering relations to ordinal numbers is shown, and basic properties of equinumerosity are presented. Some facts are based on [4].
منابع مشابه
Products , the Baire category theorem , and the axiom of dependent choice
In ZF (i.e., Zermelo-Fraenkel set theory without the Axiom of Choice) the following statements are shown to be equivalent: (1) The axiom of dependent choice. (2) Products of compact Hausdorff spaces are Baire. (3) Products of pseudocompact spaces are Baire. (4) Products of countably compact, regular spaces are Baire. (5) Products of regular-closed spaces are Baire. (6) Products of Čech-complete...
متن کاملA rigorous procedure for generating a well-ordered Set of Reals without use of Axiom of Choice / Well-Ordering Theorem
Well-ordering of the Reals presents a major challenge in Set theory. Under the standard Zermelo Fraenkel Set theory (ZF) with the Axiom of Choice (ZFC), a well-ordering of the Reals is indeed possible. However the Axiom of Choice (AC) had to be introduced to the original ZF theory which is then shown equivalent to the well-ordering theorem. Despite the result however, no way has still been foun...
متن کاملOn Tychonoff's type theorem via grills
Let ${X_{alpha}:alphainLambda}$ be a collection of topological spaces, and $mathcal {G}_{alpha}$ be a grill on $X_{alpha}$ for each $alphainLambda$. We consider Tychonoffrq{}s type Theorem for $X=prod_{alphainLambda}X_{alpha}$ via the above grills and a natural grill on $X$ related to these grills, and present a simple proof to this theorem. This immediately yields the classical theorem...
متن کاملA Substitute for the Axiom of Choice
This theorem is well known to be equivalent to the axiom of choice (though there does not seem to be a proof of this fact in the literature) and it has been suggested as an alternative for this axiom. The purpose of this note (which is purely methodological) is to propose a simpler but equivalent formulation of (A) as a substitute for the Zermelo axiom. The simplicity lies in the fact that we m...
متن کاملMechanizing Set Theory: Cardinal Arithmetic and the Axiom of Choice
Fairly deep results of Zermelo-Frænkel (ZF) set theory have been mechanized using the proof assistant Isabelle. The results concern cardinal arithmetic and the Axiom of Choice (AC). A key result about cardinal multiplication is κ⊗ κ = κ, where κ is any infinite cardinal. Proving this result required developing theories of orders, order-isomorphisms, order types, ordinal arithmetic, cardinals, e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1989